Advanced filters
- Tool
-
- Coverage
-
%%
- Type
-
| circt_verilog | Icarus | moore | moore_parse | Odin | Slang | Slang_parse | Surelog | Sv2v_zachjs | sv_parser | SynligYosys | tree_sitter_systemverilog | tree_sitter_verilog | Verible | VeribleExtractor | Verilator | Yosys | yosys_slang | ||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Various sanity checks | sanity | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Tests imported from UVM | uvm | 11/169 | 3/169 | 0/166 | 0/166 | 0/166 | 163/169 | 166/166 | 155/169 | 3/169 | 0/166 | 0/8 | 159/166 | 0/166 | 138/166 | 138/166 | 154/169 | 0/8 | |
| uvm-1.2 | 0/3 | 0/3 | 0/3 | 0/3 | 0/3 | 3/3 | 3/3 | 1/3 | 0/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | ||||
| uvm_agent examples | uvm-agents | 0/3 | 0/3 | 0/3 | 0/3 | 0/3 | 3/3 | 3/3 | 3/3 | 0/3 | 0/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | |||
| UVM tests using assertions | uvm-assertions | 0/26 | 0/26 | 0/26 | 0/26 | 0/26 | 26/26 | 26/26 | 26/26 | 0/26 | 0/26 | 26/26 | 0/26 | 12/26 | 12/26 | 17/26 | |||
| Particular UVM classes | uvm-classes | 8/36 | 0/36 | 0/36 | 0/36 | 0/36 | 36/36 | 36/36 | 36/36 | 0/36 | 0/36 | 0/8 | 36/36 | 0/36 | 28/36 | 28/36 | 36/36 | 0/8 | |
| UVM examples | uvm-examples | 0/35 | 0/35 | 0/35 | 0/35 | 0/35 | 29/35 | 35/35 | 20/35 | 0/35 | 3/35 | 28/35 | 0/35 | 31/35 | 31/35 | 29/35 | |||
| uvm-random | 3/66 | 3/66 | 0/63 | 0/63 | 0/63 | 66/66 | 63/63 | 65/66 | 3/66 | 0/63 | 63/63 | 0/63 | 61/63 | 61/63 | 66/66 | ||||
| UVM Prerequisites | uvm-req | 271/317 | 221/317 | 211/303 | 240/288 | 17/303 | 317/317 | 303/303 | 306/317 | 220/317 | 302/303 | 224/244 | 287/288 | 254/288 | 283/288 | 283/288 | 315/317 | 101/244 | 213/224 |
| uvm_scoreboard examples | uvm-scoreboards | 0/3 | 0/3 | 0/3 | 0/3 | 0/3 | 3/3 | 3/3 | 3/3 | 0/3 | 0/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | |||
| White space | 5.3 | 7/7 | 7/7 | 7/7 | 1/1 | 1/7 | 7/7 | 7/7 | 7/7 | 7/7 | 7/7 | 7/7 | 1/1 | 1/1 | 1/1 | 1/1 | 7/7 | 7/7 | 1/1 |
| Comments | 5.4 | 7/7 | 7/7 | 7/7 | 1/1 | 0/7 | 7/7 | 7/7 | 7/7 | 7/7 | 7/7 | 7/7 | 1/1 | 1/1 | 1/1 | 1/1 | 7/7 | 7/7 | 1/1 |
| Identifiers, keywords, and system names | 5.6 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| Escaped identifiers | 5.6.1 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| Keywords | 5.6.2 | 248/248 | 248/248 | 248/248 | 248/248 | 248/248 | 248/248 | 248/248 | 243/248 | 248/248 | 248/248 | 243/248 | 248/248 | 2/248 | 246/248 | 246/248 | 248/248 | 101/248 | 248/248 |
| System tasks and system functions | 5.6.3 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Compiler directives | 5.6.4 | 90/90 | 90/90 | 83/90 | 60/66 | 1/90 | 90/90 | 90/90 | 90/90 | 90/90 | 89/90 | 90/90 | 65/66 | 65/66 | 63/66 | 62/66 | 90/90 | 86/90 | 66/66 |
| Integer literal constants | 5.7.1 | 64/64 | 64/64 | 63/64 | 62/64 | 3/64 | 64/64 | 64/64 | 64/64 | 64/64 | 64/64 | 64/64 | 64/64 | 64/64 | 64/64 | 64/64 | 64/64 | 64/64 | 64/64 |
| Real literal constants | 5.7.2 | 58/58 | 58/58 | 56/58 | 57/58 | 1/58 | 58/58 | 58/58 | 58/58 | 58/58 | 58/58 | 57/57 | 58/58 | 58/58 | 58/58 | 58/58 | 58/58 | 57/57 | 57/57 |
| Time literals | 5.8 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| String literals | 5.9 | 3/4 | 4/4 | 3/4 | 4/4 | 1/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 3/4 | 4/4 |
| Special characters in strings | 5.9.1 | 1/1 | 1/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Structure literals | 5.10 | 4/4 | 1/4 | 3/3 | 3/3 | 0/3 | 4/4 | 3/3 | 4/4 | 2/4 | 3/3 | 3/4 | 3/3 | 3/3 | 3/3 | 3/3 | 4/4 | 1/4 | 4/4 |
| Array literals | 5.11 | 3/3 | 0/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 2/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 |
| Attributes | 5.12 | 5/5 | 5/5 | 5/5 | 5/5 | 0/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 |
| Built-in methods | 5.13 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Nets and variables | 6.5 | 4/4 | 4/4 | 1/1 | 1/1 | 0/1 | 4/4 | 1/1 | 1/4 | 1/4 | 1/1 | 1/4 | 1/1 | 1/1 | 1/1 | 1/1 | 2/4 | 1/4 | 4/4 |
| Wire and tri nets | 6.6.1 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| Unresolved nets | 6.6.2 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Wired nets | 6.6.3 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 |
| Trireg net | 6.6.4 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 | 1/1 |
| Tri0 and tri1 nets | 6.6.5 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Supply nets | 6.6.6 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| User-defined nettypes | 6.6.7 | 0/2 | 0/2 | 0/2 | 0/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 1/1 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 0/1 | 1/1 |
| Generic interconnect | 6.6.8 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 |
| Specifying vectors | 6.9.1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Vector net accessibility | 6.9.2 | 3/3 | 3/3 | 3/3 | 3/3 | 1/3 | 3/3 | 3/3 | 3/3 | 1/3 | 3/3 | 3/3 | 3/3 | 3/3 | 1/3 | 1/3 | 3/3 | 1/3 | 3/3 |
| Implicit declarations | 6.10 | 3/3 | 3/3 | 1/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 |
| Integer data types | 6.11 | 27/27 | 27/27 | 27/27 | 27/27 | 4/27 | 27/27 | 27/27 | 27/27 | 27/27 | 27/27 | 27/27 | 27/27 | 27/27 | 27/27 | 27/27 | 27/27 | 24/27 | 27/27 |
| Real, shortreal, and realtime data types | 6.12 | 6/6 | 6/6 | 0/3 | 3/3 | 0/3 | 6/6 | 3/3 | 3/6 | 3/6 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 6/6 | |||
| Void data type | 6.13 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Chandle data type | 6.14 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Class | 6.15 | 40/41 | 21/41 | 31/41 | 37/41 | 0/41 | 41/41 | 41/41 | 41/41 | 21/41 | 41/41 | 37/37 | 41/41 | 37/41 | 41/41 | 41/41 | 41/41 | 0/37 | 37/37 |
| String data type | 6.16 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Len() | 6.16.1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Putc() | 6.16.2 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Getc() | 6.16.3 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Toupper() | 6.16.4 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Tolower() | 6.16.5 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Compare() | 6.16.6 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Icompare() | 6.16.7 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Substr() | 6.16.8 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Atoi(), atohex(), atooct(), atobin() | 6.16.9 | 0/4 | 2/4 | 0/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 0/4 | 4/4 |
| Atoreal() | 6.16.10 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Itoa() | 6.16.11 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Hextoa() | 6.16.12 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Octtoa() | 6.16.13 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Bintoa() | 6.16.14 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Realtoa() | 6.16.15 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Event data type | 6.17 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| User-defined types | 6.18 | 30/30 | 21/30 | 27/27 | 27/27 | 0/27 | 30/30 | 27/27 | 29/30 | 22/30 | 27/27 | 28/30 | 27/27 | 24/27 | 27/27 | 27/27 | 30/30 | 18/30 | 30/30 |
| Enumerations | 6.19 | 5/5 | 5/5 | 2/2 | 2/2 | 0/2 | 5/5 | 2/2 | 2/5 | 2/5 | 2/2 | 2/5 | 2/2 | 2/2 | 2/2 | 2/2 | 5/5 | 2/5 | 5/5 |
| Defining new data types as enumerated types | 6.19.1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Enumerated type ranges | 6.19.2 | 2/2 | 2/2 | 1/2 | 1/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Type checking | 6.19.3 | 2/2 | 2/2 | 1/1 | 1/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/2 | 1/1 | 1/1 | 1/1 | 1/1 | 2/2 | 1/2 | 2/2 |
| Enumerated types in numerical expressions | 6.19.4 | 3/3 | 2/3 | 2/2 | 2/2 | 0/2 | 3/3 | 2/2 | 2/3 | 2/3 | 2/2 | 2/3 | 2/2 | 2/2 | 2/2 | 2/2 | 3/3 | 2/3 | 3/3 |
| First() | 6.19.5.1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Last() | 6.19.5.2 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Next() | 6.19.5.3 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Prev() | 6.19.5.4 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Num() | 6.19.5.5 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Name() | 6.19.5.6 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Value parameters | 6.20.2 | 6/6 | 6/6 | 6/6 | 6/6 | 3/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 5/6 | 6/6 | 6/6 | 6/6 | 5/6 | 6/6 |
| Type parameters | 6.20.3 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Local parameters (localparam) | 6.20.4 | 5/5 | 5/5 | 5/5 | 5/5 | 1/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 4/5 | 5/5 |
| Specify parameters | 6.20.5 | 2/2 | 1/2 | 0/1 | 0/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 2/2 | 1/1 | 1/1 | 1/1 | 1/1 | 2/2 | 1/2 | 1/2 |
| Const constants | 6.20.6 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Type operator | 6.23 | 3/3 | 1/3 | 1/3 | 2/3 | 0/3 | 3/3 | 3/3 | 2/3 | 2/3 | 2/3 | 1/2 | 3/3 | 2/3 | 2/3 | 2/3 | 3/3 | 0/2 | 2/2 |
| Cast operator | 6.24.1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| $cast dynamic casting | 6.24.2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Bit-stream casting | 6.24.3 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| General | 7.1 | 2/2 | 1/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | 1/2 | 2/2 |
| Structures | 7.2 | 5/5 | 3/5 | 5/5 | 5/5 | 0/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 4/5 | 5/5 | 5/5 | 5/5 | 3/5 | 5/5 |
| Packed structures | 7.2.1 | 3/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 |
| Assigning to structures | 7.2.2 | 2/2 | 1/2 | 1/1 | 1/1 | 0/1 | 2/2 | 1/1 | 2/2 | 1/2 | 1/1 | 2/2 | 1/1 | 0/1 | 1/1 | 1/1 | 1/2 | 1/2 | 2/2 |
| Unions | 7.3 | 2/2 | 0/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 1/2 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | 0/2 | 1/2 |
| Packed unions | 7.3.1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Tagged unions | 7.3.2 | 0/2 | 0/2 | 0/2 | 0/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 0/2 | 0/2 | 0/2 | 0/2 | 2/2 |
| Packed and unpacked arrays | 7.4 | 3/3 | 2/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 2/3 | 3/3 | 2/3 | 3/3 | 3/3 | 2/3 | 2/3 | 3/3 |
| Packed arrays | 7.4.1 | 9/9 | 9/9 | 9/9 | 9/9 | 0/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 |
| Unpacked arrays | 7.4.2 | 3/13 | 11/13 | 1/13 | 9/13 | 0/13 | 13/13 | 13/13 | 13/13 | 8/13 | 13/13 | 8/11 | 13/13 | 7/13 | 13/13 | 13/13 | 13/13 | 2/11 | 11/11 |
| Operations on arrays | 7.4.3 | 14/14 | 10/14 | 13/13 | 13/13 | 0/13 | 14/14 | 13/13 | 13/14 | 13/14 | 13/13 | 13/14 | 13/13 | 7/13 | 13/13 | 13/13 | 14/14 | 9/14 | 14/14 |
| Memories | 7.4.4 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| Multidimensional arrays | 7.4.5 | 4/4 | 3/4 | 4/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 2/4 | 4/4 | 4/4 | 4/4 | 3/4 | 4/4 |
| Indexing and slicing of arrays | 7.4.6 | 2/2 | 1/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 1/2 | 2/2 |
| Dynamic arrays | 7.5 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| New[ ] | 7.5.1 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Size() | 7.5.2 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Delete() | 7.5.3 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Array assignments | 7.6 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Arrays as arguments to subroutines | 7.7 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Associative arrays | 7.8 | 6/7 | 0/7 | 0/7 | 7/7 | 0/7 | 7/7 | 7/7 | 7/7 | 0/7 | 7/7 | 5/6 | 7/7 | 3/7 | 7/7 | 7/7 | 7/7 | 0/6 | 6/6 |
| Wildcard index type | 7.8.1 | 0/2 | 0/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | |||
| String index | 7.8.2 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Class index | 7.8.3 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Integral index | 7.8.4 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Accessing invalid indices | 7.8.6 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Allocating associative array elements | 7.8.7 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Associative array methods | 7.9 | 9/9 | 0/9 | 0/9 | 9/9 | 0/9 | 9/9 | 9/9 | 9/9 | 0/9 | 9/9 | 8/9 | 9/9 | 0/9 | 9/9 | 9/9 | 9/9 | 0/9 | 9/9 |
| Num() and size() | 7.9.1 | 4/4 | 0/4 | 0/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | 0/4 | 4/4 | 3/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | 0/4 | 4/4 |
| Delete() | 7.9.2 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Exists() | 7.9.3 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| First() | 7.9.4 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Last() | 7.9.5 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Next() | 7.9.6 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Prev() | 7.9.7 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Arguments to traversal methods | 7.9.8 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Associative array assignment | 7.9.9 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Associative array arguments | 7.9.10 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Associative array literals | 7.9.11 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Queues | 7.10 | 2/13 | 2/13 | 0/13 | 5/13 | 0/13 | 13/13 | 13/13 | 13/13 | 0/13 | 13/13 | 0/1 | 13/13 | 10/13 | 13/13 | 13/13 | 13/13 | 0/1 | 1/1 |
| Queue operators | 7.10.1 | 2/2 | 1/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 0/1 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/1 | 1/1 |
| Queue methods | 7.10.2 | 9/9 | 8/9 | 0/9 | 9/9 | 0/9 | 9/9 | 9/9 | 9/9 | 0/9 | 9/9 | 0/1 | 9/9 | 1/9 | 9/9 | 9/9 | 9/9 | 0/1 | 1/1 |
| Size() | 7.10.2.1 | 2/2 | 2/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 0/1 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | 0/1 | 1/1 |
| Insert() | 7.10.2.2 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Delete() | 7.10.2.3 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Pop_front() | 7.10.2.4 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Pop_back() | 7.10.2.5 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Push_front() | 7.10.2.6 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Push_back() | 7.10.2.7 | 2/2 | 2/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 0/1 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/1 | 1/1 |
| Persistence of references to elements of a queue | 7.10.3 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Updating a queue using assignment and unpacked array concatenation | 7.10.4 | 6/6 | 0/6 | 0/6 | 6/6 | 0/6 | 6/6 | 6/6 | 6/6 | 0/6 | 6/6 | 6/6 | 2/6 | 6/6 | 6/6 | 6/6 | |||
| Bounded queues | 7.10.5 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Array querying functions | 7.11 | 8/8 | 8/8 | 8/8 | 8/8 | 0/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 |
| Array manipulation methods | 7.12 | 0/10 | 0/10 | 0/10 | 3/10 | 0/10 | 10/10 | 10/10 | 10/10 | 0/10 | 10/10 | 10/10 | 8/10 | 10/10 | 10/10 | 10/10 | |||
| Array locator methods | 7.12.1 | 0/11 | 0/11 | 0/11 | 3/11 | 0/11 | 11/11 | 11/11 | 11/11 | 0/11 | 11/11 | 11/11 | 9/11 | 11/11 | 11/11 | 11/11 | |||
| Array ordering methods | 7.12.2 | 0/6 | 4/6 | 0/6 | 5/6 | 0/6 | 6/6 | 6/6 | 6/6 | 3/6 | 6/6 | 4/4 | 6/6 | 0/6 | 6/6 | 6/6 | 6/6 | 0/4 | 4/4 |
| Array reduction methods | 7.12.3 | 0/5 | 5/5 | 0/5 | 2/5 | 0/5 | 5/5 | 5/5 | 5/5 | 2/5 | 5/5 | 3/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 0/5 | 5/5 |
| Iterator index querying | 7.12.4 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Syntax | 8.3 | 64/70 | 29/70 | 42/69 | 49/69 | 0/69 | 70/70 | 69/69 | 69/70 | 28/70 | 69/69 | 51/53 | 69/69 | 54/69 | 69/69 | 69/69 | 70/70 | 0/53 | 53/53 |
| Objects (class instance) | 8.4 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Object properties and object parameter data | 8.5 | 3/3 | 2/3 | 0/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 2/3 | 3/3 | 3/3 | 3/3 | |||
| Object methods | 8.6 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Constructors | 8.7 | 3/3 | 3/3 | 0/3 | 2/3 | 0/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | |||
| Typed constructor calls | 8.8 | 2/2 | 1/2 | 0/2 | 0/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | |||
| Static class properties | 8.9 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Static methods | 8.10 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| This | 8.11 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Assignment, renaming, and copying | 8.12 | 1/2 | 2/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | |||
| Inheritance and subclasses | 8.13 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Overridden members | 8.14 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Super | 8.15 | 1/2 | 2/2 | 0/2 | 0/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | |||
| Casting | 8.16 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/1 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/1 | 1/1 |
| Chaining constructors | 8.17 | 2/2 | 2/2 | 0/2 | 1/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 1/2 | 1/2 | 2/2 | |||
| Data hiding and encapsulation | 8.18 | 10/10 | 7/10 | 2/5 | 5/5 | 0/5 | 10/10 | 5/5 | 5/10 | 5/10 | 5/5 | 5/10 | 5/5 | 2/5 | 5/5 | 5/5 | 10/10 | 5/10 | 10/10 |
| Constant class properties | 8.19 | 2/2 | 2/2 | 1/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 1/1 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/1 | 1/1 |
| Virtual methods | 8.20 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Abstract classes and pure virtual methods | 8.21 | 1/2 | 1/2 | 0/1 | 0/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 2/2 | |||
| Polymorphism: dynamic method lookup | 8.22 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Class scope resolution operator :: | 8.23 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Out-of-block declarations | 8.24 | 1/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Parameterized classes | 8.25 | 2/2 | 0/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | |||
| Class scope resolution operator for parameterized classes | 8.25.1 | 2/2 | 1/2 | 0/1 | 0/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 2/2 | |||
| Interface classes | 8.26 | 5/5 | 0/5 | 5/5 | 5/5 | 0/5 | 5/5 | 5/5 | 5/5 | 0/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 0/5 | 5/5 |
| Extends versus implements | 8.26.2 | 0/4 | 0/4 | 0/4 | 4/4 | 0/4 | 4/4 | 4/4 | 3/4 | 0/4 | 4/4 | 4/4 | 1/4 | 4/4 | 4/4 | 4/4 | |||
| Type access | 8.26.3 | 2/3 | 1/3 | 0/2 | 2/2 | 0/2 | 3/3 | 2/2 | 2/3 | 1/3 | 2/2 | 1/1 | 2/2 | 1/2 | 2/2 | 2/2 | 3/3 | 0/1 | 1/1 |
| Type usage restrictions | 8.26.4 | 2/2 | 2/2 | 2/2 | 1/2 | 2/2 | 2/2 | ||||||||||||
| Casting and object reference assignment | 8.26.5 | 1/2 | 1/2 | 0/1 | 1/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 2/2 | |||
| Method name conflict resolution | 8.26.6.1 | 1/2 | 1/2 | 0/1 | 1/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/2 | |||
| Parameter and type declaration inheritance conflicts and resolution | 8.26.6.2 | 2/2 | 1/2 | 0/1 | 0/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/2 | 1/1 | 1/1 | 1/1 | 1/1 | 1/2 | 1/2 | 1/2 |
| Diamond relationship | 8.26.6.3 | 2/2 | 1/2 | 0/1 | 0/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/2 | 1/1 | 1/1 | 1/1 | 1/1 | 1/2 | 1/2 | 2/2 |
| Partial implementation | 8.26.7 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Typedef class | 8.27 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Initial procedures | 9.2.1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| General purpose always procedure | 9.2.2.1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 |
| Combinational logic always_comb procedure | 9.2.2.2 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Latched logic always_latch procedure | 9.2.2.3 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Sequential logic always_ff procedure | 9.2.2.4 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Final procedures | 9.2.3 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Sequential blocks | 9.3.1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Parallel blocks | 9.3.2 | 0/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 1/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | |||
| Statement block start and finish times | 9.3.3 | 1/3 | 3/3 | 1/2 | 1/2 | 0/2 | 3/3 | 2/2 | 2/3 | 3/3 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 3/3 | |||
| Block names | 9.3.4 | 1/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 1/1 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 1/1 | 1/1 |
| Statement labels | 9.3.5 | 1/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 1/1 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/1 | 1/1 |
| Delay control | 9.4.1 | 4/4 | 4/4 | 2/2 | 2/2 | 1/2 | 4/4 | 2/2 | 4/4 | 4/4 | 2/2 | 1/1 | 2/2 | 2/2 | 2/2 | 2/2 | 4/4 | 1/1 | 0/1 |
| Event control | 9.4.2 | 5/5 | 4/5 | 3/3 | 3/3 | 2/3 | 5/5 | 3/3 | 5/5 | 5/5 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 5/5 | 2/3 | 2/3 |
| Event OR operator | 9.4.2.1 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| Implicit event_expression list | 9.4.2.2 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Conditional event controls | 9.4.2.3 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 |
| Sequence events | 9.4.2.4 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 | 1/1 | |||
| Level-sensitive event control | 9.4.3 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Intra-assignment timing controls | 9.4.5 | 3/7 | 7/7 | 1/7 | 1/7 | 2/7 | 7/7 | 7/7 | 7/7 | 3/7 | 7/7 | 2/2 | 7/7 | 7/7 | 7/7 | 7/7 | 3/7 | 2/2 | 2/2 |
| Wait fork statement | 9.6.1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Disable statement | 9.6.2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 1/1 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/1 | 1/1 |
| Disable fork statement | 9.6.3 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Fine-grain process control | 9.7 | 0/4 | 0/4 | 0/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | 0/4 | 4/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | |||
| Continuous assignments | 10.3 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | |||||||||
| The net declaration assignment | 10.3.1 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| The continuous assignment statement | 10.3.2 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Continuous assignment delays | 10.3.3 | 2/2 | 1/2 | 2/2 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| Continuous assignment strengths | 10.3.4 | 24/24 | 24/24 | 24/24 | 24/24 | 0/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 0/24 | 0/24 | 16/24 | 0/24 | 24/24 |
| Blocking procedural assignments | 10.4.1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Nonblocking procedural assignments | 10.4.2 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| The assign and deassign procedural statements | 10.6.1 | 0/1 | 1/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 |
| The force and release procedural statements | 10.6.2 | 0/1 | 1/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 |
| Operators | 11.3 | 6/6 | 6/6 | 6/6 | 6/6 | 2/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 |
| Operator expression short circuiting | 11.3.5 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Assignment within an expression | 11.3.6 | 11/11 | 3/11 | 10/11 | 10/11 | 1/11 | 11/11 | 10/11 | 11/11 | 11/11 | 11/11 | 1/11 | 11/11 | 11/11 | 11/11 | 11/11 | 11/11 | 7/11 | 11/11 |
| Assignment operators | 11.4.1 | 34/34 | 34/34 | 34/34 | 34/34 | 1/34 | 34/34 | 34/34 | 34/34 | 34/34 | 34/34 | 34/34 | 34/34 | 34/34 | 34/34 | 34/34 | 34/34 | 14/34 | 34/34 |
| Increment and decrement operators | 11.4.2 | 4/4 | 4/4 | 4/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 2/4 | 4/4 |
| Arithmetic operators | 11.4.3 | 24/24 | 24/24 | 20/24 | 24/24 | 3/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 12/24 | 24/24 |
| Relational operators | 11.4.4 | 16/16 | 16/16 | 16/16 | 16/16 | 4/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 8/16 | 16/16 |
| Equality operators | 11.4.5 | 39/39 | 39/39 | 39/39 | 39/39 | 3/39 | 39/39 | 39/39 | 39/39 | 39/39 | 39/39 | 39/39 | 39/39 | 39/39 | 39/39 | 39/39 | 32/39 | 9/39 | 39/39 |
| Wildcard equality operators | 11.4.6 | 18/18 | 18/18 | 18/18 | 18/18 | 0/18 | 18/18 | 18/18 | 18/18 | 18/18 | 18/18 | 0/18 | 18/18 | 18/18 | 18/18 | 18/18 | 7/18 | 0/18 | 18/18 |
| Logical operators | 11.4.7 | 24/24 | 24/24 | 12/24 | 24/24 | 2/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 18/24 | 24/24 | 24/24 | 24/24 | 24/24 | 24/24 | 4/24 | 24/24 |
| Bitwise operators | 11.4.8 | 15/15 | 15/15 | 15/15 | 15/15 | 4/15 | 15/15 | 15/15 | 15/15 | 15/15 | 15/15 | 15/15 | 15/15 | 15/15 | 15/15 | 15/15 | 15/15 | 9/15 | 15/15 |
| Reduction operators | 11.4.9 | 14/14 | 14/14 | 14/14 | 14/14 | 4/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 |
| Shift operators | 11.4.10 | 14/14 | 14/14 | 14/14 | 14/14 | 2/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 14/14 | 10/14 | 14/14 |
| Conditional operator | 11.4.11 | 3/3 | 3/3 | 3/3 | 3/3 | 1/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 |
| Concatenation operators | 11.4.12 | 4/4 | 3/4 | 4/4 | 4/4 | 1/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 3/4 | 3/4 | 4/4 | 3/4 | 4/4 |
| Replication operator | 11.4.12.1 | 5/5 | 5/5 | 5/5 | 5/5 | 1/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 |
| String concatenation | 11.4.12.2 | 2/2 | 2/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Set membership operator | 11.4.13 | 3/3 | 0/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 |
| Concatenation of stream_expressions | 11.4.14.1 | 2/2 | 0/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Re-ordering of the generic stream | 11.4.14.2 | 4/4 | 0/4 | 0/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 0/4 | 4/4 |
| Streaming concatenation as an assignment target (unpack) | 11.4.14.3 | 6/6 | 1/6 | 0/5 | 5/5 | 0/5 | 6/6 | 5/5 | 5/6 | 5/6 | 5/5 | 5/6 | 5/5 | 5/5 | 5/5 | 5/5 | 6/6 | 1/6 | 6/6 |
| Streaming dynamically sized data | 11.4.14.4 | 0/3 | 0/3 | 0/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 2/3 | 2/3 | 2/3 | 1/3 | |||
| Vector bit-select and part-select addressing | 11.5.1 | 12/12 | 12/12 | 12/12 | 12/12 | 4/12 | 12/12 | 12/12 | 12/12 | 12/12 | 12/12 | 12/12 | 12/12 | 12/12 | 12/12 | 12/12 | 12/12 | 12/12 | 12/12 |
| Array and memory addressing | 11.5.2 | 5/5 | 5/5 | 5/5 | 5/5 | 0/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 2/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 |
| Signed expressions | 11.7 | 4/4 | 4/4 | 4/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 |
| Tagged union expressions and member access | 11.9 | 0/3 | 1/4 | 0/3 | 0/3 | 0/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 0/3 | 3/3 | 3/3 | 0/3 | 0/3 | 1/4 | 1/4 | 3/3 |
| String literal expressions | 11.10 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| String literal operations | 11.10.1 | 3/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 |
| Empty string literal handling | 11.10.3 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| Minimum, typical, and maximum delay expressions | 11.11 | 0/1 | 1/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Let construct | 11.12 | 1/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 |
| Conditional if-else statement | 12.4 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| if-else-if construct | 12.4.1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| unique-if, unique0-if, and priority-if | 12.4.2 | 3/3 | 0/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 |
| Case statement | 12.5 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| Case statement with do-not-cares | 12.5.1 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| Constant expression in case statement | 12.5.2 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| unique-case, unique0-case, and priority-case | 12.5.3 | 9/9 | 9/9 | 9/9 | 9/9 | 0/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 | 9/9 |
| Set membership case statement | 12.5.4 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Pattern matching in case statements | 12.6.1 | 0/3 | 0/3 | 0/3 | 0/3 | 0/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 0/3 | 0/3 | 0/3 |
| Pattern matching in if statements | 12.6.2 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 |
| Pattern matching in conditional expressions | 12.6.3 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 |
| The for-loop | 12.7.1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 |
| The repeat loop | 12.7.2 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| The foreach-loop | 12.7.3 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 1/2 | 2/2 | 0/1 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | 0/1 | 0/1 |
| The while-loop | 12.7.4 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| The do...while-loop | 12.7.5 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| The forever-loop | 12.7.6 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Jump statements | 12.8 | 4/4 | 4/4 | 4/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 3/4 | 4/4 | 3/4 | 4/4 | 4/4 | 4/4 | 0/4 | 4/4 |
| Tasks | 13.3 | 2/2 | 2/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 1/2 | 2/2 |
| Static and automatic tasks | 13.3.1 | 2/2 | 2/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 1/1 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | 0/1 | 1/1 |
| Functions | 13.4 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Return values and void functions | 13.4.1 | 3/3 | 3/3 | 2/2 | 2/2 | 0/2 | 3/3 | 2/2 | 3/3 | 3/3 | 2/2 | 3/3 | 2/2 | 2/2 | 2/2 | 2/2 | 3/3 | 2/3 | 3/3 |
| Static and automatic functions | 13.4.2 | 3/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 2/2 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 0/2 | 2/2 |
| Constant functions | 13.4.3 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Background processes spawned by function calls | 13.4.4 | 1/2 | 1/2 | 1/1 | 1/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 2/2 | |||
| Clocking block declaration | 14.3 | 5/5 | 1/5 | 0/4 | 0/4 | 0/4 | 5/5 | 4/4 | 4/5 | 1/5 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 5/5 | |||
| Mailboxes | 15.4 | 0/2 | 0/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Named Events | 15.5 | 3/3 | 0/3 | 0/3 | 1/3 | 0/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | |||
| Overview | 16.2 | 3/3 | 2/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 |
| Deferred assertions | 16.4 | 6/6 | 2/6 | 6/6 | 6/6 | 0/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 0/6 | 0/6 |
| Sequences | 16.7 | 1/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 | 1/1 | |||
| Sequence operations | 16.9 | 9/19 | 0/19 | 6/19 | 6/19 | 0/19 | 19/19 | 19/19 | 19/19 | 6/19 | 19/19 | 16/16 | 19/19 | 19/19 | 16/19 | 16/19 | 18/19 | 0/16 | 6/16 |
| Local variables | 16.10 | 0/2 | 2/4 | 0/2 | 0/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 1/2 | 1/2 | 1/2 | 3/4 | |||
| Declaring properties | 16.12 | 5/5 | 0/5 | 5/5 | 5/5 | 0/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 0/5 | 5/5 |
| Concurrent assertions | 16.14 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Disable iff resolution | 16.15 | 0/1 | 1/2 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 2/2 | |||
| Expect statement | 16.17 | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 | 1/1 |
| Rand modifier | 18.4.1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Randc modifier | 18.4.2 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Constraint blocks | 18.5 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| External constraint blocks | 18.5.1 | 1/4 | 1/4 | 1/3 | 1/3 | 0/3 | 4/4 | 3/3 | 3/4 | 1/4 | 3/3 | 3/4 | 3/3 | 1/3 | 2/3 | 2/3 | 4/4 | 1/4 | 4/4 |
| Constraint inheritance | 18.5.2 | 1/4 | 1/4 | 0/3 | 3/3 | 0/3 | 4/4 | 3/3 | 3/4 | 1/4 | 3/3 | 2/3 | 3/3 | 3/3 | 1/3 | 1/3 | 4/4 | 1/3 | 3/3 |
| Set membership | 18.5.3 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Distribution | 18.5.4 | 1/2 | 1/2 | 0/1 | 0/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/2 | 1/1 | 1/1 | 1/1 | 1/1 | 2/2 | 1/2 | 2/2 |
| Uniqueness constraints | 18.5.5 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Implication | 18.5.6 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| if–else constraints | 18.5.7 | 0/4 | 0/4 | 0/4 | 0/4 | 0/4 | 4/4 | 4/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 0/4 | 4/4 |
| foreach iterative constraints | 18.5.8.1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Array reduction iterative constraints | 18.5.8.2 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Global constraints | 18.5.9 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Variable ordering | 18.5.10 | 1/2 | 1/2 | 0/1 | 0/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/2 | 1/1 | 1/1 | 1/1 | 1/1 | 2/2 | 1/2 | 2/2 |
| Static constraint blocks | 18.5.11 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Functions in constraints | 18.5.12 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Constraint guards | 18.5.13 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Soft constraints | 18.5.14 | 1/2 | 1/2 | 0/1 | 0/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/2 | 1/1 | 1/1 | 1/1 | 1/1 | 2/2 | 1/2 | 2/2 |
| Soft constraint priorities | 18.5.14.1 | 0/2 | 0/2 | 0/2 | 0/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Discarding soft constraints | 18.5.14.2 | 0/2 | 0/2 | 0/2 | 0/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Pre_randomize() and post_randomize() | 18.6.2 | 0/2 | 0/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Behavior of randomization methods | 18.6.3 | 1/2 | 1/2 | 0/1 | 1/1 | 0/1 | 2/2 | 1/1 | 2/2 | 1/2 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 2/2 | 1/1 | 1/1 |
| In-line constraints—randomize() with | 18.7 | 0/3 | 0/3 | 0/3 | 0/3 | 0/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 0/2 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 0/2 | 2/2 |
| local:: scope resolution | 18.7.1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Disabling random variables with rand_mode() | 18.8 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | |||||||||
| Randomization of scope variables—std::randomize() | 18.12 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Adding constraints to scope variables—std::randomize() with | 18.12.1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| $urandom | 18.13.1 | 2/2 | 0/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| $urandom_range() | 18.13.2 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Manually seeding randomize | 18.15 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Random weighted case—randcase | 18.16 | 0/2 | 0/2 | 0/2 | 0/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Random sequence generation—randsequence | 18.17 | 0/2 | 0/2 | 0/2 | 0/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | |||
| Random production weights | 18.17.1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| if–else production statements | 18.17.2 | 2/4 | 2/4 | 0/2 | 0/2 | 0/2 | 4/4 | 2/2 | 2/4 | 2/4 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 4/4 | |||
| Case production statements | 18.17.3 | 1/2 | 1/2 | 0/1 | 0/1 | 0/1 | 2/2 | 1/1 | 1/2 | 1/2 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 2/2 | |||
| Repeat production statements | 18.17.4 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Interleaving productions—rand join | 18.17.5 | 0/2 | 0/2 | 0/2 | 0/2 | 0/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | |||
| Aborting productions—break and return | 18.17.6 | 1/3 | 1/3 | 0/2 | 0/2 | 0/2 | 3/3 | 2/2 | 2/3 | 1/3 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 3/3 | |||
| Value passing between productions | 18.17.7 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | |||
| Simulation control system tasks | 20.2 | 3/3 | 3/3 | 0/3 | 3/3 | 2/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | |||
| Simulation time system functions | 20.3 | 3/3 | 3/3 | 3/3 | 3/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | |||
| Timescale system tasks | 20.4 | 2/3 | 3/3 | 2/3 | 3/3 | 2/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | |||
| Conversion functions | 20.5 | 4/4 | 4/4 | 3/4 | 4/4 | 0/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 3/3 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 1/3 | 3/3 |
| Data query functions | 20.6 | 5/5 | 2/5 | 4/5 | 4/5 | 0/5 | 5/5 | 5/5 | 5/5 | 3/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 5/5 | 1/5 | 5/5 |
| Array query functions | 20.7 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 |
| Math functions | 20.8 | 22/22 | 22/22 | 22/22 | 22/22 | 1/22 | 22/22 | 22/22 | 22/22 | 22/22 | 22/22 | 10/22 | 22/22 | 22/22 | 22/22 | 22/22 | 22/22 | 4/22 | 22/22 |
| Bit vector system functions | 20.9 | 3/4 | 4/4 | 3/4 | 3/4 | 0/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 3/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 1/4 | 4/4 |
| Severity tasks | 20.10 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | 4/4 | |||
| Sampled value system functions | 20.13 | 6/16 | 0/16 | 6/16 | 6/16 | 0/16 | 16/16 | 16/16 | 16/16 | 6/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 16/16 | 0/16 | 6/16 |
| Coverage system functions | 20.14 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 0/1 | |||
| Probabilistic distribution functions | 20.15 | 1/8 | 8/8 | 8/8 | 8/8 | 0/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 1/8 | 8/8 |
| Display system tasks | 21.2 | 5/6 | 6/6 | 5/6 | 6/6 | 0/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 2/2 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 0/2 | 2/2 |
| File input/output system tasks and system functions | 21.3 | 6/17 | 17/17 | 9/17 | 17/17 | 0/17 | 17/17 | 17/17 | 17/17 | 17/17 | 17/17 | 3/7 | 17/17 | 17/17 | 17/17 | 17/17 | 17/17 | 0/7 | 7/7 |
| Loading memory array data from a file | 21.4 | 2/2 | 2/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | |
| Command line input | 21.6 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 |
| Value change dump (VCD) files | 21.7 | 0/2 | 1/2 | 0/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | |||
| resetall | 22.3 | 3/3 | 3/3 | 2/3 | 2/3 | 1/3 | 3/3 | 3/3 | 3/3 | 2/3 | 3/3 | 3/3 | 2/3 | 2/3 | 3/3 | 3/3 | 3/3 | 2/3 | |
| include | 22.4 | 8/8 | 8/8 | 8/8 | 6/6 | 1/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 8/8 | 5/6 | 6/6 | 5/6 | 5/6 | 8/8 | 8/8 | |
| define | 22.5.1 | 29/29 | 28/29 | 22/29 | 9/29 | 29/29 | 29/29 | 29/29 | 29/29 | 29/29 | 29/29 | 29/29 | 15/29 | 1/1 | |||||
| undef | 22.5.2 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | ||||||
| undefineall | 22.5.3 | 2/2 | 2/2 | 0/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | ||||||
| ifdef, else, elsif, endif, ifndef | 22.6 | 3/3 | 3/3 | 2/3 | 2/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | ||||||
| timescale | 22.7 | 6/6 | 6/6 | 4/4 | 0/4 | 6/6 | 4/4 | 6/6 | 4/6 | 4/4 | 5/5 | 6/6 | 5/5 | 2/2 | |||||
| default_nettype | 22.8 | 2/2 | 2/2 | 2/2 | 1/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 1/2 | ||||||
| unconnected_drive and nounconnected_drive | 22.9 | 5/5 | 5/5 | 2/2 | 0/2 | 5/5 | 2/2 | 5/5 | 5/5 | 2/2 | 5/5 | 5/5 | 3/5 | 3/3 | |||||
| celldefine and endcelldefine | 22.10 | 2/2 | 2/2 | 2/2 | 0/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | 2/2 | ||||||
| pragma | 22.11 | 6/6 | 6/6 | 1/6 | 1/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 1/6 | ||||||
| line | 22.12 | 7/7 | 7/7 | 6/7 | 5/7 | 7/7 | 7/7 | 7/7 | 7/7 | 7/7 | 7/7 | 7/7 | 4/7 | ||||||
| Module definitions | 23.2 | 3/3 | 3/3 | 2/3 | 2/3 | 0/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 3/3 | 1/3 | 3/3 |
| The program construct | 24.3 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | |||
| Interface syntax | 25.3 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Package declarations | 26.2 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Referencing data in packages | 26.3 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 |
| Total tests passed | 1293/1646 | 1182/1650 | 1044/1583 | 1172/1492 | 360/1583 | 1640/1646 | 1582/1583 | 1580/1646 | 1179/1646 | 1415/1583 | 1138/1269 | 1482/1492 | 938/1492 | 1411/1492 | 1410/1492 | 1578/1650 | 584/1270 | 1129/1161 | |
| Total tags passed | 230/346 | 189/346 | 132/343 | 242/333 | 20/343 | 344/346 | 342/343 | 306/346 | 176/346 | 333/343 | 198/262 | 327/333 | 223/333 | 307/333 | 307/333 | 319/346 | 70/262 | 231/250 | |
| Total time elapsed | 104s | 17s | 14s | 9s | 6s | 84s | 39s | 2043s | 596s | 2371s | 368s | 99s | 77s | 5s | 445s | 17564s | 16s | 11s | |
| User time elapsed | 87s | 11s | 7s | 6s | 4s | 62s | 24s | 2004s | 367s | 2355s | 338s | 10s | 9s | 4s | 425s | 13423s | 10s | 7s | |
| System time elapsed | 15s | 3s | 3s | 2s | 1s | 17s | 9s | 36s | 149s | 14s | 24s | 3s | 3s | 1s | 16s | 1362s | 3s | 4s | |
| Maximum ram usage | 194 MB | 14 MB | 16 MB | 16 MB | 14 MB | 212 MB | 53 MB | 2041 MB | 918 MB | 297 MB | 2558 MB | 608 MB | 395 MB | 14 MB | 132 MB | 1898 MB | 63 MB | 55 MB | |
| Average throughput passed for inputs > 1KiB | 20 KiB/s | 185 KiB/s | 48 KiB/s | 299 KiB/s | 0 KiB/s | 20 KiB/s | 75 KiB/s | 1 KiB/s | 2 KiB/s | 1 KiB/s | 3 KiB/s | 975 KiB/s | 186 KiB/s | 2451 KiB/s | 4 KiB/s | 0 KiB/s | 0 KiB/s | 140 KiB/s | |
cores |
circt_verilog | Icarus | moore | moore_parse | Odin | Slang | Slang_parse | Surelog | Sv2v_zachjs | sv_parser | SynligYosys | tree_sitter_systemverilog | tree_sitter_verilog | Verible | VeribleExtractor | Verilator | Yosys | yosys_slang | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Ariane RISC-V core | ariane | 0/5 | 0/5 | 0/5 | 0/5 | 0/5 | 4/5 | 5/5 | 0/5 | 0/5 | 0/5 | 0/5 | 0/5 | 0/5 | 5/5 | 4/5 | 0/5 | 0/5 | 2/5 |
| BlackParrot RISC-V core | black-parrot | 6/6 | 0/6 | 0/6 | 0/6 | 0/6 | 6/6 | 6/6 | 6/6 | 6/6 | 6/6 | 2/6 | 0/6 | 0/6 | 0/6 | 0/6 | 6/6 | 0/6 | |
| cva6 | 0/5 | 0/5 | 0/5 | 0/5 | 0/5 | 4/5 | 5/5 | 0/5 | 0/5 | 0/5 | 0/5 | 0/5 | 0/5 | 5/5 | 4/5 | 0/5 | 0/5 | 2/5 | |
| FX68K m68k core | fx68k | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 0/1 | 1/1 |
| Ibex RISC-V core | ibex | 0/1 | 1/1 | 1/1 | |||||||||||||||
| RgGen code generator for configuration and status registers | RgGen | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 |
| RSD RISC-V core | rsd | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 |
| SCR1 RISC-V core | scr1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 0/1 |
| NoC router and fabric | TNoC | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | 1/1 | 1/1 | 0/1 | 0/1 | 0/1 |
| VeeR EH1 RISC-V core | veer-eh1 | 0/2 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 1/1 | 1/1 | 1/1 | 1/1 | 0/1 | 0/1 | 1/1 | 0/1 | 1/1 | 0/1 | ||
| VeeR EL2 RISC-V core | veer-el2 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 0/1 | 1/1 | 0/1 | 0/1 | 0/1 | |||
| Total tests passed | 6/19 | 0/18 | 1/18 | 1/18 | 0/18 | 17/19 | 17/18 | 10/18 | 11/18 | 11/18 | 2/18 | 3/16 | 0/18 | 11/18 | 7/18 | 11/19 | 0/18 | 4/10 | |
| Total tags passed | 1/10 | 0/10 | 1/10 | 1/10 | 0/10 | 8/11 | 9/10 | 5/10 | 6/10 | 6/10 | 0/10 | 3/8 | 0/10 | 8/10 | 3/10 | 6/11 | 0/10 | 2/7 | |
| Total time elapsed | 7s | 1s | 3s | 3s | 0s | 5s | 2s | 2074s | 662s | 357s | 3801s | 9s | 23s | 3s | 17s | 1952s | 0s | 452s | |
| User time elapsed | 8s | 1s | 3s | 3s | 0s | 4s | 2s | 1987s | 1082s | 356s | 1666s | 9s | 22s | 3s | 17s | 226s | 0s | 449s | |
| System time elapsed | 1s | 0s | 1s | 1s | 0s | 1s | 1s | 86s | 44s | 1s | 30s | 0s | 0s | 0s | 1s | 12s | 0s | 5s | |
| Maximum ram usage | 172 MB | 54 MB | 194 MB | 194 MB | 14 MB | 280 MB | 101 MB | 41782 MB | 5569 MB | 124 MB | 19819 MB | 34 MB | 34 MB | 17 MB | 49 MB | 1544 MB | 23 MB | 1817 MB | |
| Average throughput passed for inputs > 1KiB | 8207 KiB/s | 0 KiB/s | 2280 KiB/s | 3778 KiB/s | 0 KiB/s | 7114 KiB/s | 13966 KiB/s | 9 KiB/s | 23 KiB/s | 69 KiB/s | 8 KiB/s | 3165 KiB/s | 0 KiB/s | 9869 KiB/s | 1437 KiB/s | 110 KiB/s | 0 KiB/s | 19 KiB/s | |
imported |
circt_verilog | Icarus | moore | moore_parse | Odin | Slang | Slang_parse | Surelog | Sv2v_zachjs | sv_parser | SynligYosys | tree_sitter_systemverilog | tree_sitter_verilog | Verible | VeribleExtractor | Verilator | Yosys | yosys_slang | |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Tests imported from Basejump STL | basejump | 360/360 | 327/360 | 335/360 | 350/360 | 0/360 | 360/360 | 360/360 | 353/360 | 356/360 | 360/360 | 355/360 | 350/360 | 0/360 | 47/360 | 47/360 | 360/360 | 0/360 | 357/360 |
| Tests imported from hdlConvertor | hdlconv | 19/19 | 17/19 | 17/19 | 18/19 | 9/19 | 19/19 | 19/19 | 19/19 | 18/19 | 19/19 | 18/19 | 19/19 | 16/19 | 19/19 | 19/19 | 19/19 | 14/19 | |
| Tests imported from hdlConvertor (std2012) | hdlconv_std2012 | 20/20 | 3/20 | 7/20 | 13/20 | 0/20 | 20/20 | 20/20 | 20/20 | 7/20 | 20/20 | 19/20 | 20/20 | 13/20 | 20/20 | 20/20 | 16/20 | 2/20 | |
| Tests imported from hdlConvertor (std2017) | hdlconv_std2017 | 144/144 | 40/144 | 39/144 | 68/144 | 2/144 | 144/144 | 144/144 | 143/144 | 49/144 | 144/144 | 125/144 | 141/144 | 98/144 | 130/144 | 130/144 | 115/144 | 24/144 | |
| Tests imported from ivtest | ivtest | 2123/2546 | 2536/2546 | 1621/2546 | 1770/2546 | 530/2546 | 2543/2546 | 2237/2546 | 2233/2546 | 1961/2546 | 2247/2546 | 1777/2546 | 2186/2546 | 1521/2546 | 2161/2546 | 2160/2546 | 2419/2546 | 952/2546 | 2005/2546 |
| projf-explore | 10/10 | 10/10 | 10/10 | 10/10 | 0/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | 10/10 | ||
| Tests imported from utd-SystemVerilog | utd-sv | 127/127 | 120/127 | 124/127 | 125/127 | 98/127 | 127/127 | 127/127 | 127/127 | 125/127 | 127/127 | 127/127 | 126/127 | 121/127 | 127/127 | 127/127 | 126/127 | 124/127 | |
| Tests imported from Yosys | yosys | 213/216 | 200/216 | 173/216 | 181/216 | 91/216 | 216/216 | 210/216 | 216/216 | 204/216 | 215/216 | 213/216 | 211/216 | 183/216 | 209/216 | 209/216 | 213/216 | 184/216 | 170/216 |
| Total tests passed | 3016/3442 | 3253/3442 | 2326/3442 | 2535/3442 | 730/3442 | 3439/3442 | 3127/3442 | 3121/3442 | 2730/3442 | 3142/3442 | 2644/3442 | 3063/3442 | 1962/3442 | 2723/3442 | 2722/3442 | 3278/3442 | 1310/3442 | 2532/3122 | |
| Total tags passed | 6/8 | 1/8 | 1/8 | 1/8 | 0/8 | 7/8 | 6/8 | 5/8 | 1/8 | 6/8 | 2/8 | 3/8 | 1/8 | 4/8 | 4/8 | 3/8 | 1/8 | 0/3 | |
| Total time elapsed | 63s | 74s | 86s | 17s | 49s | 44s | 42s | 1620s | 249s | 187s | 2591s | 25s | 30s | 15s | 42s | 2289s | 297s | 163s | |
| User time elapsed | 46s | 52s | 73s | 11s | 43s | 15s | 14s | 1540s | 46s | 167s | 1956s | 16s | 21s | 11s | 28s | 1970s | 241s | 129s | |
| System time elapsed | 13s | 11s | 7s | 4s | 4s | 13s | 11s | 74s | 72s | 15s | 77s | 7s | 7s | 3s | 5s | 296s | 17s | 29s | |
| Maximum ram usage | 210 MB | 1471 MB | 80 MB | 53 MB | 160 MB | 26 MB | 24 MB | 3188 MB | 884 MB | 719 MB | 3003 MB | 66 MB | 76 MB | 24 MB | 25 MB | 258 MB | 3512 MB | 15375 MB | |
| Average throughput passed for inputs > 1KiB | 624 KiB/s | 746 KiB/s | 1583 KiB/s | 2594 KiB/s | 304 KiB/s | 1051 KiB/s | 1179 KiB/s | 22 KiB/s | 172 KiB/s | 136 KiB/s | 22 KiB/s | 1602 KiB/s | 525 KiB/s | 1155 KiB/s | 394 KiB/s | 22 KiB/s | 11 KiB/s | 428 KiB/s | |